$\forall$$r$:Rng, $a$, $b$, $c$:$\mid$$r$$\mid$. ($a$ +$r$ ($b$ +$r$ $c$)) = ($b$ +$r$ ($a$ +$r$ $c$)) $\in$ $\mid$$r$$\mid$